A Linearization of the Lambda-Calculus and Consequences

机译：Lambda微积分的线性化及其后果

机译：Lambda演算的线性化及其与相交类型系统的关系

机译：线性：线性代数Lambda演算

机译：类型Lambda演算中的线性和递归

机译：组织公民行为的前因和后果：分层线性建模研究。

机译：微生物呼吸而非生物量对轻质有机物输入的增加呈线性响应：碳固存的后果

机译：Lambda微积分的线性化及其结果

机译：循环直线加速器设计中界限对纵向发射率增长的影响。

机译：确定车辆沿道路路段后果的路段后果行驶时间的方法，包括将路段行驶时间添加到路段后果中，以获得驾驶目标点的路段后果行驶时间

机译：用于对物体即旋转零件进行分类的方法包括报告关联的标识符，和/或如果后果之间的差异超过阈值，则在确定的后果和存储的后果之间生成错误信号

机译：喷射系统的结果，用于豪华的，特别是用于根据非线性工作参数-特性曲线可调节地调节最佳喷射量的电路装置